gtkmain: Ignore grab for events in child popovers
authorCarlos Garnacho <carlosg@gnome.org>
Mon, 15 Jun 2015 12:07:40 +0000 (14:07 +0200)
committerCarlos Garnacho <carlosg@gnome.org>
Wed, 17 Jun 2015 13:56:42 +0000 (15:56 +0200)
commit77d429bc4debc3840ccbed9faf5616792c3e4fb5
tree070bfe5a4e4cb44fdaae6ec36f04211ebb05c027
parent76dc8aced5517b409e2cc7897e1d49a20a0c8ade
gtkmain: Ignore grab for events in child popovers

Popovers may be spawn when there's GTK+ grabs somewhere else (eg.
text selection popover/handles in an entry in a modal popover). When
this happens, events go to the grab widget (in this case the modal
popover) and are effectively ignored by the event widget, even though
it's can be conceptually a child of the grab widget.

To get away with this, tweak a bit gtk_main_do_event(), so events going
to popovers that are related to grab_widget or a child of it are received,
as it would happen with regular children of grab_widget.

https://bugzilla.gnome.org/show_bug.cgi?id=750993
gtk/gtkmain.c